자동 정리 증명

ko

WikiRank.net
ver. 1.6

자동 정리 증명

Quality:

Automated theorem proving - subfield of automated reasoning dealing with proving theorems by computer programs. Article "자동 정리 증명" in Korean Wikipedia has 2 points for quality (as of November 1, 2023). The article contains 0 references and 2 sections.

This article has the best quality in Portuguese Wikipedia. However, the most popular language version of this article is English.

In October 2023 the article "자동 정리 증명" was edited by 2 authors in Korean Wikipedia and written by 4 authors in all languages.

Since the creation of article "자동 정리 증명", its content was written by 1 registered users of Korean Wikipedia and edited by 421 registered Wikipedia users in all languages.

The article is cited 8 times in Korean Wikipedia and cited 786 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Korean): #12048 in October 2023
  • Global: #159 in November 2001

The highest popularity rank from 2008:

  • Local (Korean): #168113 in June 2023
  • Global: #76451 in August 2008

There are 17 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

Languages with the highest quality

#LanguageQuality gradeQuality score
1Portuguese (pt)
Prova automática de teoremas
34.3697
2English (en)
Automated theorem proving
33.711
3Japanese (ja)
自動定理証明
22.9089
4Italian (it)
Dimostrazione automatica di teoremi
20.6412
5Spanish (es)
Demostración automática de teoremas
14.5303
6Basque (eu)
Teoremen frogapen automatiko
11.4951
7Polish (pl)
Automatyczne dowodzenie twierdzeń
10.7179
8Russian (ru)
Автоматическое доказательство
8.8301
9Azerbaijani (az)
Teoremlərin avtomatik sübutu
8.1057
10Chinese (zh)
自動化定理證明
5.263
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "자동 정리 증명" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Automated theorem proving
969 656
2Spanish (es)
Demostración automática de teoremas
160 435
3Japanese (ja)
自動定理証明
94 253
4Russian (ru)
Автоматическое доказательство
81 984
5Polish (pl)
Automatyczne dowodzenie twierdzeń
63 187
6Chinese (zh)
自動化定理證明
32 009
7French (fr)
Démonstration automatique de théorèmes
28 548
8Portuguese (pt)
Prova automática de teoremas
18 872
9Italian (it)
Dimostrazione automatica di teoremi
11 350
10Persian (fa)
اثبات قضیه خودکار
10 935
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in October 2023

The most popular language versions of the article "자동 정리 증명" in October 2023
#LanguagePopularity awardRelative popularity
1English (en)
Automated theorem proving
5 345
2Japanese (ja)
自動定理証明
421
3Russian (ru)
Автоматическое доказательство
360
4Spanish (es)
Demostración automática de teoremas
321
5Chinese (zh)
自動化定理證明
178
6French (fr)
Démonstration automatique de théorèmes
107
7Polish (pl)
Automatyczne dowodzenie twierdzeń
102
8Italian (it)
Dimostrazione automatica di teoremi
100
9Persian (fa)
اثبات قضیه خودکار
54
10Portuguese (pt)
Prova automática de teoremas
51
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "자동 정리 증명" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Automated theorem proving
209
2Spanish (es)
Demostración automática de teoremas
35
3French (fr)
Démonstration automatique de théorèmes
26
4Japanese (ja)
自動定理証明
26
5Polish (pl)
Automatyczne dowodzenie twierdzeń
25
6Russian (ru)
Автоматическое доказательство
22
7Italian (it)
Dimostrazione automatica di teoremi
18
8Portuguese (pt)
Prova automática de teoremas
16
9Chinese (zh)
自動化定理證明
11
10Ukrainian (uk)
Автоматизоване доведення теорем
9
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in October 2023

Language versions of the article "자동 정리 증명" with the highest AI in October 2023
#LanguageAI awardRelative AI
1Korean (ko)
자동 정리 증명
2
2English (en)
Automated theorem proving
1
3Italian (it)
Dimostrazione automatica di teoremi
1
4Azerbaijani (az)
Teoremlərin avtomatik sübutu
0
5Spanish (es)
Demostración automática de teoremas
0
6Basque (eu)
Teoremen frogapen automatiko
0
7Persian (fa)
اثبات قضیه خودکار
0
8French (fr)
Démonstration automatique de théorèmes
0
9Armenian (hy)
Թեորեմների ավտոմատացված ապացուցում
0
10Japanese (ja)
自動定理証明
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "자동 정리 증명" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Automated theorem proving
375
2Russian (ru)
Автоматическое доказательство
68
3Japanese (ja)
自動定理証明
53
4Spanish (es)
Demostración automática de teoremas
50
5French (fr)
Démonstration automatique de théorèmes
47
6Chinese (zh)
自動化定理證明
40
7Ukrainian (uk)
Автоматизоване доведення теорем
37
8Polish (pl)
Automatyczne dowodzenie twierdzeń
32
9Portuguese (pt)
Prova automática de teoremas
26
10Persian (fa)
اثبات قضیه خودکار
21
More...

Scores

Estimated value for Wikipedia:
Korean:
Global:
Popularity in October 2023:
Korean:
Global:
Popularity in all years:
Korean:
Global:
Authors in October 2023:
Korean:
Global:
Registered authors in all years:
Korean:
Global:
Citations:
Korean:
Global:

Quality measures

Interwikis

#LanguageValue
azAzerbaijani
Teoremlərin avtomatik sübutu
enEnglish
Automated theorem proving
esSpanish
Demostración automática de teoremas
euBasque
Teoremen frogapen automatiko
faPersian
اثبات قضیه خودکار
frFrench
Démonstration automatique de théorèmes
hyArmenian
Թեորեմների ավտոմատացված ապացուցում
itItalian
Dimostrazione automatica di teoremi
jaJapanese
自動定理証明
koKorean
자동 정리 증명
plPolish
Automatyczne dowodzenie twierdzeń
ptPortuguese
Prova automática de teoremas
ruRussian
Автоматическое доказательство
thThai
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
trTurkish
Otomatik teorem kanıtlama
ukUkrainian
Автоматизоване доведення теорем
zhChinese
自動化定理證明

Popularity rank trends

Best Rank Korean:
#168113
06.2023
Global:
#76451
08.2008

AI rank trends

Best Rank Korean:
#12048
10.2023
Global:
#159
11.2001

Global AI rank history

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Automated theorem proving from Wikipedia articles about Proof assistant, Formal verification, Coq, Automated reasoning and First-order logic. Whereas reading the article about Automated theorem proving people most often go to Wikipedia articles on Automated reasoning, Proof assistant, E, Pentium FDIV bug and Z3 Theorem Prover.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 2 July 2024

On 2 July 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: UEFA Euro 2024, UEFA European Championship, Cristiano Ronaldo, Diogo Meireles da Costa, Merih Demiral, 2024 Copa América, Arda Güler, Turkey national association football team, Copa América, Inside Out 2.

In Korean Wikipedia the most popular articles on that day were: 문화방송, 한국방송공사, 이수경 (1982년), 한국교육방송공사, 고민시, 마츠다 세이코, 완주 삼례 나라슈퍼 3인조 강도 사건, 인스타그램, 안드레 진, 기후 변화.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from November, 2023. When calculating current popularity and AI of articles data from October 2023 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information